rekursiv abzahlbare Menge

См. также в других словарях:

• Rekursiv entscheidbare Menge — Eine Eigenschaft auf einer Menge heißt entscheidbar (auch: rekursiv), wenn es ein Entscheidungsverfahren für sie gibt. Ein Entscheidungsverfahren ist ein Algorithmus, der für jedes Element der Menge beantworten kann, ob es die Eigenschaft hat… …   Deutsch Wikipedia

• Rekursiv entscheidbar — Eine Eigenschaft auf einer Menge heißt entscheidbar (auch: rekursiv), wenn es ein Entscheidungsverfahren für sie gibt. Ein Entscheidungsverfahren ist ein Algorithmus, der für jedes Element der Menge beantworten kann, ob es die Eigenschaft hat… …   Deutsch Wikipedia

• Entscheidbare Menge — Eine Eigenschaft auf einer Menge heißt entscheidbar (auch: rekursiv), wenn es ein Entscheidungsverfahren für sie gibt. Ein Entscheidungsverfahren ist ein Algorithmus, der für jedes Element der Menge beantworten kann, ob es die Eigenschaft hat… …   Deutsch Wikipedia

• Bairesche Klasse — Die baireschen Klassen stellen eine partielle Klassifizierung der reellen Funktionen dar. Sie ist zum ersten Mal von René Louis Baire in seiner Dissertation vom Jahre 1898 aufgestellt worden und als Antwort auf die zum ersten Mal von Dini (1878)… …   Deutsch Wikipedia

• Universalfunktion — Die baireschen Klassen stellen eine partielle Klassifizierung der reellen Funktionen dar. Sie ist zum ersten Mal von René Louis Baire in seiner Dissertation vom Jahre 1898 aufgestellt worden und als Antwort auf die zum ersten Mal von Dini (1878)… …   Deutsch Wikipedia

• Lemma von Rasiowa-Sikorski — Das Rasiowa–Sikorski Lemma, benannt nach den polnischen Mathematikern Roman Sikorski und Helena Rasiowa, ist in der Mengenlehre grundlegend für die Entwicklung der Forcing Methode. Es postuliert die Existenz von Filtern mit gewissen Eigenschaften …   Deutsch Wikipedia

• Forcing — (deutsch auch Erzwingung oder Erzwingungsmethode) ist in der Mengenlehre eine Technik zur Konstruktion von Modellen, die hauptsächlich verwendet wird um relative Konsistenzbeweise zu führen. Sie wurde zuerst 1963 von Paul Cohen verwendet, um die… …   Deutsch Wikipedia

• Entscheidbarkeit — Eine Eigenschaft auf einer Menge heißt entscheidbar (auch: rekursiv), wenn es ein Entscheidungsverfahren für sie gibt. Ein Entscheidungsverfahren ist ein Algorithmus, der für jedes Element der Menge beantworten kann, ob es die Eigenschaft hat… …   Deutsch Wikipedia

• Entscheidungsproblem — Eine Eigenschaft auf einer Menge heißt entscheidbar (auch: rekursiv), wenn es ein Entscheidungsverfahren für sie gibt. Ein Entscheidungsverfahren ist ein Algorithmus, der für jedes Element der Menge beantworten kann, ob es die Eigenschaft hat… …   Deutsch Wikipedia

• Semientscheidbarkeit — Eine Eigenschaft auf einer Menge heißt entscheidbar (auch: rekursiv), wenn es ein Entscheidungsverfahren für sie gibt. Ein Entscheidungsverfahren ist ein Algorithmus, der für jedes Element der Menge beantworten kann, ob es die Eigenschaft hat… …   Deutsch Wikipedia

• Unentscheidbares Problem — Eine Eigenschaft auf einer Menge heißt entscheidbar (auch: rekursiv), wenn es ein Entscheidungsverfahren für sie gibt. Ein Entscheidungsverfahren ist ein Algorithmus, der für jedes Element der Menge beantworten kann, ob es die Eigenschaft hat… …   Deutsch Wikipedia